COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 7 Discrete Mathematics (MPF) (a) Let m be a fixed positive integer. (i ) For an integer c, let Kc = { k ∈ N | k ≡ c (mod m) }.

Source URL: www.cl.cam.ac.uk

COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 10 Discrete Mathematics (AMP) (a) For each symbol x in the alphabet Σ = {a, b, c}, let Ox be the language over Σ consisting of all strings that contain an odd number

Source URL: www.cl.cam.ac.uk

• Models of computation
• Combinatorics
• Computer science
• Combinatorics on words
• Deterministic finite automaton
• Nondeterministic finite automaton
• Regular language
• String
• Regular expression
• Automata theory
• Formal languages
• Theoretical computer science

UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II

Source URL: www.cl.cam.ac.uk

• Compiler optimizations
• Compiler construction
• Programming language implementation
• Register allocation
• Static single assignment form
• Data-flow analysis
• Live variable analysis
• Subroutine
• Pointer
• Software engineering
• Computing
• Computer programming

COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N:

Source URL: www.cl.cam.ac.uk

• Mathematical proofs
• Inductive reasoning
• Mathematical induction
• Proof theory
• Constructible universe
• Universal quantification
• String
• Surreal number
• Peano axioms
• Mathematics
• Mathematical logic
• Logic

COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 8 Discrete Mathematics (MPF) (a) Let #X denote the cardinality of a set X. Define a unary predicate P for which the statement

Source URL: www.cl.cam.ac.uk

• Mathematical analysis
• Bijection
• injection and surjection
• Equivalence relation
• Function
• Bijection
• Power set
• Injective function
• Filter
• Axiom schema of replacement
• Mathematics
• Functions and mappings
• Mathematical logic

17 December[removed]The Computer Laboratory This document is specifically intended for Assistant Staff, but may contain information useful to others. These notes were originally written as guidelines for reception staff. T

Source URL: www.cl.cam.ac.uk

• Computer Science Tripos
• Tripos
• States and territories of India
• Chittagong University of Engineering & Technology
• Alagappa Chettiar College of Engineering and Technology
• Computer science education
• Education
• University of Cambridge Computer Laboratory

Computer Science Teaching Handbook Last updated November 10, 2008 Computer Laboratory University of Cambridge c 2008 University of Cambridge

Source URL: www.cl.cam.ac.uk

• Mathematics education
• Association of Commonwealth Universities
• Exempt charities
• Coimbra Group
• Natural Sciences
• Tripos
• University of Cambridge
• Professor
• Lecture
• Education
• Academia
• Cambridge Mathematical Tripos

Microsoft Word - Part III progression application form3.doc

Source URL: www.cl.cam.ac.uk

• Tripos
• Computer science education
• Mathematics education
• Grade
• Cambridge Mathematical Tripos
• Natural Sciences
• Education
• Knowledge
• University of Cambridge

UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Computer Science Tripos Parts IA, IB, and II Summary List of Books Recommended by Lecturers September 2014 This list is prepared once a year for the benefit of College Libraria

Source URL: www.cl.cam.ac.uk

• Ada
• Programming language
• Tripos
• Semantics of programming languages
• Functional programming
• Viable prefix
• Computing
• Software engineering
• Computer programming

Computer Science Tripos Syllabus and Booklist

Source URL: www.cl.cam.ac.uk

• University of Cambridge
• Cambridge Mathematical Tripos
• Computer science education
• Tripos
• Natural Sciences
• Mathematical logic
• Programming paradigms
• Algorithm
• Discrete mathematics
• Education
• Academia
• Mathematics education